main(n)
{
	scanf("%d",&n);
	printf("%d",3*n-9);
}
